advances in theory of lattice boltzmann method and its appliction 方法理論和應(yīng)用的新進(jìn)展
the lattice implication algebra is a theoretical basis for the theory of lattice valued logic and approximate reasoning . in 1987, alavi and others conjectured that every graph with positive size has an ascending subgraph decomposition . this conjecture is an unsolved problem in graph theory 與圖論中的其它問題一樣,對圖的升分解問題的構(gòu)造式證明本質(zhì)上是尋找一種解決可以抽象為圖的升分解問題的一類實際應(yīng)用問題的算法,因此,關(guān)于圖的升分解問題的研究工作對利用計算機(jī)解決這類實際問題具有現(xiàn)實意義。